Lehen mailako logika

Lehen mailako logika, predikatuen logika, logika kuantifikatzailea edo predikatuen kalkulua ere deitzen dena, lehen ordenako hizkuntzen inferentzia aztertzeko diseinatutako sistema formala da.^[1][2] Predikatuak, haien propietateak eta eragiketak aztertzen dituen logika. Aldagai eta kuantifikatzaileen bidez lan egiten du. Predikatuen logikak proposizioen barne-egitura hartzen du kontuan.^[3] Lehen ordenako lengoaiak, era berean, banakako aldagaiei bakarrik eragiten dien zenbatzaileak dituzten lengoaia formalak dira, eta argumentuak, konstanteak edo aldagai indibidualak dituzten predikatuak eta funtzioak baino ez dira.^[1]

Lehen ordenako logikak, logika proposizionala baino adierazkortasun-maila altuagoa du.

1. ↑ ^{a b} (Ingelesez) Blackburn, Simon. (2008-01-01). The Oxford Dictionary of Philosophy. Oxford University Press  doi:10.1093/acref/9780199541430.001.0001/acref-9780199541430. ISBN 978-0-19-954143-0. (Noiz kontsultatua: 2020-06-16).
2. ↑ Arrazola Iturbe, Joseba Xabier. (2009). «Logika eta logikak: begirada bat logika ez-klasikoei» Gogoa: Euskal Herriko Unibersitateko hizkuntza, ezagutza, komunikazio eta ekintzari buruzko aldizkaria 9 (1): 15–62. ISSN 1577-9424. (Noiz kontsultatua: 2020-06-16).
3. ↑ «Predikatu-logika» zthiztegia.elhuyar.eus (Elhuyar) (Noiz kontsultatua: 2020-06-16).